#include<stdio.h>
void main() {
	int a=1;
	while(a<=10000){
		if(a%7==0)
		printf("%d\t",a);
		a++; 
	}
}
